SySTEMA SYstem & Safety Tool for Executing Model-Based Analyses
نویسندگان
چکیده
This paper presents SySTEMA, an innovative approach to perform Safety Analyses on complex systems, based on the modelling of their functionalities, behaviors and architecture. System safety analysis techniques are well known and are extensively used during the design of safety-critical systems. Since these analyses are highly subjective and dependent on the skill of the practitioner, it is unlikely that they will be complete, consistent and error free. In fact, the safety engineers devote much of their effort to find undocumented details of the system behavior and to embed this information in the safety artifacts such as the fault trees. Most of the review effort is focused on uncovering and resolving misunderstandings and missing information in the system design or the informal fault model. Model-Based Systems Engineering (MBSE) is a methodology aiming to design and develop complex and/or critical systems, increasing productivity by promoting communication among different teams working on the same project. Model-Based Safety Analysis (MBSA) is an emerging discipline that extends MBSE performing safety analyses in a ‘model-based’ context, by building system models (both for nominal and fault behavior), reducing the effort and increasing the quality of the final results. MBSA follows a failure analysis approach, starting from the major state-of-the-art techniques such as Failure Mode Effect and Criticality Analysis, Functional Analysis, Functional Hazard Analysis and Fault Tree Analysis. This paper describes a theoretical approach to implement MBSA using one common SysML model of the system. This allows the systems engineers to perform automated safety analyses to receive quick feedback on their design decisions during the system design phase. Keywords—MBSE; MBSA; SysML; FMEA; FTA.
منابع مشابه
1 0 A pr 2 01 5 A State Space Tool for Models Expressed In C + + ( tool paper )
This publication introduces A State Space Exploration Tool that is based on representing the model under verification as a piece of C++ code that obeys certain conventions. Its name is ASSET. Model checking takes place by compiling the model and the tool together, and executing the result. This approach facilitates very fast execution of the transitions of the model. On the other hand, the use ...
متن کاملA State Space Tool for Models Expressed In C++ (tool paper)
This publication introduces A State Space Exploration Tool that is based on representing the model under verification as a piece of C++ code that obeys certain conventions. Its name is ASSET. Model checking takes place by compiling the model and the tool together, and executing the result. This approach facilitates very fast execution of the transitions of the model. On the other hand, the use ...
متن کاملSimulation Tool for Functional Verification of Ttp/c–based Systems
This article describes a software tool that implements Clanguage written simulation model of distributed embedded computer system that is interconnected by means of TTP/C protocol. The aim of simulation is to evaluate specified system’s properties when used as a safety critical control system. The method that uses simulated faults to disturb system’s activity was developed during the solution o...
متن کاملA Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures
We propose an model-based approach to address safety and security assessment of a system architecture. We present an integrated process where system engineers design the model of the system architecture, safety and security engineers specify the propagation of failures and attacks inside each component of the architecture using their dedicated tool. They also define the failure modes that have ...
متن کاملبررسی عوامل مؤثر بر اثربخشی نظام بودجهریزی عملیاتی در سازمانهای عمومی
Performance budgeting is one of the modern budgeting methods. Plenty of researches have so far been conducted on the benefits and goals of such budgeting system. A review of the literature related to performance budgeting shows that despite all beneficial advantages and results expected from executing performance budgeting, this system would not lead to its expectation if it is not effectively ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016